A rapid magnetometric technique to plot isothermal transformation diagrams

NASBA Isothermal Technique: a Novel Tool for Mycobacterium tuberculosis Diagnosis

Background and Objectives: rapid, accurate and cost effective diagnosis of infectious and non infectious diseases is an essential step for treatment process. Nowadays, in Line with scientific progression in molecular biology, genetics and biochemistry which are based on biotechnology and genetic engineering aspects, new branch of medicine entitled molecular medicine is being derived. It can be ...

Transformation of BPMN Diagrams to YAWL Nets

Business Process Modeling Notation (BPMN) is the de facto standard for modeling business processes on a conceptual level. However, BPMN lacks a formal semantics and many of its features need to be further interpret, Consequently that hinders BPMN as a standard to statically check the semantic correctness of models. YAWL (Yet Another Workflow Language) allows the specification of executable work...

A metamodeling level transformation from UML sequence diagrams to Coq

Modeling is an important aspect of UML formal verification that directly affects the quality and efficiency of the verification. Formal models are the foundation of formal verification. As UML diagrams only have semi-formal semantics, they cannot be used for formal verification directly. Recent studies present model transformation from semi-formal UML models to formal models to solve the issues...

Stress-Assisted Isothermal Martensitic Transformation Application to TRIP Steels

Low-temperature plastic flow in TRIP steels has been found to be controlled by stress-assisted isothermal martensitic transformation. For these conditions, the thermodynamics and kinetic theory of martensitic transformations leads directly to constitutive relations predicting the dependence of flow stress on temperature, strain, strain-rate, and stress-state, consistent with the observed behavi...

A Visual Basic program to plot sediment grain-size data on ternary diagrams